(0 19 13)(1 18 16)(2 6 3)(4 20 10)(5 9 7)(8 14 11)(12 17 15)
ALLOWS (11/8)-SEQUENCE
1: (10 19 20)
(0 19 4 20 13)(1 18 16)(2 6 3)(5 9 7)(8 14 11)(10)(12 17 15)
2: (0 19 13)
(0)(1 18 16)(2 6 3)(4 20 13)(5 9 7)(8 14 11)(10)(12 17 15)(19)
3: (8 14 11)
(0)(1 18 16)(2 6 3)(4 20 13)(5 9 7)(8)(10)(11)(12 17 15)(14)(19)
4: (4 20 13)
(0)(1 18 16)(2 6 3)(4)(5 9 7)(8)(10)(11)(12 17 15)(13)(14)(19)(20)